Skip to content
This repository has been archived by the owner on Jan 23, 2023. It is now read-only.

More CoreLib code cleanup #26104

Merged
merged 6 commits into from
Aug 13, 2019
Merged

More CoreLib code cleanup #26104

merged 6 commits into from
Aug 13, 2019

Conversation

stephentoub
Copy link
Member

In between-meetings cleanup guided by various analyzers (and mostly fixed via auto-fixers).

@stephentoub stephentoub added the * NO MERGE * The PR is not ready for merge yet (see discussion for detailed reasons) label Aug 9, 2019
@stephentoub stephentoub self-assigned this Aug 9, 2019
@stephentoub stephentoub removed the * NO MERGE * The PR is not ready for merge yet (see discussion for detailed reasons) label Aug 10, 2019
@stephentoub stephentoub removed their assignment Aug 12, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants